SU(2) nonstandard bases: the case of mutually unbiased bases

This paper deals with bases in a finite-dimensional Hilbert space. Such a space can be realized as a subspace of the representation space of SU(2) corresponding to an irreducible representation of SU(2). The representation theory of SU(2) is reconsidered via the use of two truncated deformed oscillators. This leads to replace the familiar scheme {j^2, j_z} by a scheme {j^2, v(ra)}, where the two-parameter operator v(ra) is defined in the enveloping algebra of the Lie algebra su(2). The eigenvectors of the commuting set of operators {j^2, v(ra)} are adapted to a tower of chains SO(3) > C(2j+1), 2j integer, where C(2j+1) is the cyclic group of order 2j+1. In the case where 2j+1 is prime, the corresponding eigenvectors generate a complete set of mutually unbiased bases. Some useful relations on generalized quadratic Gauss sums are exposed in three appendices.Comment: 33 pages; version2: rescaling of generalized Hadamard matrices, acknowledgment and references added, misprints corrected; version 3: published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/ (22 pages

A unified approach to SIC-POVMs and MUBs

15 pagesA unified approach to (symmetric informationally complete) positive operator valued measures and mutually unbiased bases is developed in this article. The approach is based on the use of operator equivalents expanded in the enveloping algebra of SU(2). Emphasis is put on similarities and differences between SIC-POVMs and MUBs

On the Equivalence Between Type I Liouville Dynamical Systems in the Plane and the Sphere

Producción CientíficaSeparable Hamiltonian systems either in sphero-conical coordinates on an S2 sphere or in elliptic coordinates on a R2 plane are described in a unified way. A back and forth route connecting these Liouville Type I separable systems is unveiled. It is shown how the gnomonic projection and its inverse map allow us to pass from a Liouville Type I separable system with a spherical configuration space to its Liouville Type I partners where the configuration space is a plane and back. Several selected spherical separable systems and their planar cousins are discussed in a classical context

Relative Equilibria in the Four-Vortex Problem with Two Pairs of Equal Vorticities

We examine in detail the relative equilibria in the four-vortex problem where two pairs of vortices have equal strength, that is, \Gamma_1 = \Gamma_2 = 1 and \Gamma_3 = \Gamma_4 = m where m is a nonzero real parameter. One main result is that for m > 0, the convex configurations all contain a line of symmetry, forming a rhombus or an isosceles trapezoid. The rhombus solutions exist for all m but the isosceles trapezoid case exists only when m is positive. In fact, there exist asymmetric convex configurations when m < 0. In contrast to the Newtonian four-body problem with two equal pairs of masses, where the symmetry of all convex central configurations is unproven, the equations in the vortex case are easier to handle, allowing for a complete classification of all solutions. Precise counts on the number and type of solutions (equivalence classes) for different values of m, as well as a description of some of the bifurcations that occur, are provided. Our techniques involve a combination of analysis and modern and computational algebraic geometry

Projective dynamics and classical gravitation

Given a real vector space V of finite dimension, together with a particular homogeneous field of bivectors that we call a "field of projective forces", we define a law of dynamics such that the position of the particle is a "ray" i.e. a half-line drawn from the origin of V. The impulsion is a bivector whose support is a 2-plane containing the ray. Throwing the particle with a given initial impulsion defines a projective trajectory. It is a curve in the space of rays S(V), together with an impulsion attached to each ray. In the simplest example where the force is identically zero, the curve is a straight line and the impulsion a constant bivector. A striking feature of projective dynamics appears: the trajectories are not parameterized. Among the projective force fields corresponding to a central force, the one defining the Kepler problem is simpler than those corresponding to other homogeneities. Here the thrown ray describes a quadratic cone whose section by a hyperplane corresponds to a Keplerian conic. An original point of view on the hidden symmetries of the Kepler problem emerges, and clarifies some remarks due to Halphen and Appell. We also get the unexpected conclusion that there exists a notion of divergence-free field of projective forces if and only if dim V=4. No metric is involved in the axioms of projective dynamics.Comment: 20 pages, 4 figure

Qudits of composite dimension, mutually unbiased bases and projective ring geometry

The $d^2$ Pauli operators attached to a composite qudit in dimension $d$ may be mapped to the vectors of the symplectic module $\mathcal{Z}_d^{2}$ ($\mathcal{Z}_d$ the modular ring). As a result, perpendicular vectors correspond to commuting operators, a free cyclic submodule to a maximal commuting set, and disjoint such sets to mutually unbiased bases. For dimensions $d=6,~10,~15,~12$, and 18, the fine structure and the incidence between maximal commuting sets is found to reproduce the projective line over the rings $\mathcal{Z}_{6}$, $\mathcal{Z}_{10}$, $\mathcal{Z}_{15}$, $\mathcal{Z}_6 \times \mathbf{F}_4$ and $\mathcal{Z}_6 \times \mathcal{Z}_3$, respectively.Comment: 10 pages (Fast Track communication). Journal of Physics A Mathematical and Theoretical (2008) accepte

Bases for qudits from a nonstandard approach to SU(2)

Bases of finite-dimensional Hilbert spaces (in dimension d) of relevance for quantum information and quantum computation are constructed from angular momentum theory and su(2) Lie algebraic methods. We report on a formula for deriving in one step the (1+p)p qupits (i.e., qudits with d = p a prime integer) of a complete set of 1+p mutually unbiased bases in C^p. Repeated application of the formula can be used for generating mutually unbiased bases in C^d with d = p^e (e > or = 2) a power of a prime integer. A connection between mutually unbiased bases and the unitary group SU(d) is briefly discussed in the case d = p^e.Comment: From a talk presented at the 13th International Conference on Symmetry Methods in Physics (Dubna, Russia, 6-9 July 2009) organized in memory of Prof. Yurii Fedorovich Smirnov by the Bogoliubov Laboratory of Theoretical Physics of the JINR and the ICAS at Yerevan State University

Pauli graphs, Riemann hypothesis, Goldbach pairs

Let consider the Pauli group $\mathcal{P}_q=$ with unitary quantum generators $X$ (shift) and $Z$ (clock) acting on the vectors of the $q$-dimensional Hilbert space via $X|s> =|s+1>$ and $Z|s> =\omega^s |s>$, with $\omega=\exp(2i\pi/q)$. It has been found that the number of maximal mutually commuting sets within $\mathcal{P}_q$ is controlled by the Dedekind psi function $\psi(q)=q \prod_{p|q}(1+\frac{1}{p})$ (with $p$ a prime) \cite{Planat2011} and that there exists a specific inequality $\frac{\psi (q)}{q}>e^{\gamma}\log \log q$, involving the Euler constant $\gamma \sim 0.577$, that is only satisfied at specific low dimensions $q \in \mathcal {A}=\{2,3,4,5,6,8,10,12,18,30\}$. The set $\mathcal{A}$ is closely related to the set $\mathcal{A} \cup \{1,24\}$ of integers that are totally Goldbach, i.e. that consist of all primes $p2$) is equivalent to Riemann hypothesis. Introducing the Hardy-Littlewood function $R(q)=2 C_2 \prod_{p|n}\frac{p-1}{p-2}$ (with $C_2 \sim 0.660$ the twin prime constant), that is used for estimating the number $g(q) \sim R(q) \frac{q}{\ln^2 q}$ of Goldbach pairs, one shows that the new inequality $\frac{R(N_r)}{\log \log N_r} \gtrapprox e^{\gamma}$ is also equivalent to Riemann hypothesis. In this paper, these number theoretical properties are discusssed in the context of the qudit commutation structure.Comment: 11 page

Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?

We study the commutation relations within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. Illustrative low dimensional examples are the quartit ($q=4$) and two-qubit ($q=2^2$) systems, the octit ($q=8$), qubit/quartit ($q=2\times 4$) and three-qubit ($q=2^3$) systems, and so on. In the single qudit case, e.g. $q=4,8,12,...$, one defines a bijection between the $\sigma (q)$ maximal commuting sets [with $\sigma[q)$ the sum of divisors of $q$] of Pauli observables and the maximal submodules of the modular ring $\mathbb{Z}_q^2$, that arrange into the projective line $P_1(\mathbb{Z}_q)$ and a independent set of size $\sigma (q)-\psi(q)$ [with $\psi(q)$ the Dedekind psi function]. In the multiple qudit case, e.g. $q=2^2, 2^3, 3^2,...$, the Pauli graphs rely on symplectic polar spaces such as the generalized quadrangles GQ(2,2) (if $q=2^2$) and GQ(3,3) (if $q=3^2$). More precisely, in dimension $p^n$ ($p$ a prime) of the Hilbert space, the observables of the Pauli group (modulo the center) are seen as the elements of the $2n$-dimensional vector space over the field $\mathbb{F}_p$. In this space, one makes use of the commutator to define a symplectic polar space $W_{2n-1}(p)$ of cardinality $\sigma(p^{2n-1})$, that encodes the maximal commuting sets of the Pauli group by its totally isotropic subspaces. Building blocks of $W_{2n-1}(p)$ are punctured polar spaces (i.e. a observable and all maximum cliques passing to it are removed) of size given by the Dedekind psi function $\psi(p^{2n-1})$. For multiple qudit mixtures (e.g. qubit/quartit, qubit/octit and so on), one finds multiple copies of polar spaces, ponctured polar spaces, hypercube geometries and other intricate structures. Such structures play a role in the science of quantum information.Comment: 18 pages, version submiited to J. Phys. A: Math. Theo